#!/bin/csh -f
dmake OPTFLAGS="-O5 -fast" RHKEY="-R" $1 $2 $3 $4 $5

